/*
 * badexectest.c
 *
 *  Created on: Jun 18, 2011
 *      Author: peckb1
 */

#include "syscall.h"
#include "usercommon.h"

int spaceId;

int main() {

    printLock = CreateLock("Printing Lock");

    printf("\nExec Test \n");

    printf("Calling Exec with a bad file name   (cotterpin).\n");
    spaceId = Exec("cotterpin", 9);

    printf("\n\n");
    Exit(0);
}
